This patch fixes the x86_64 __xen_guest section allowing Mini-OS to run again.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 17 May 2006 22:15:36 +0000 (23:15 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 17 May 2006 22:15:36 +0000 (23:15 +0100)
commit2045b32effb54ab8c0d086fc1c70ffe357dec53c
treec8b8a2974ec371efd48249e9dcb2c4e2b6043ca5
parent33a21ad5f8cac9434afb246ee17f0dece788f296
This patch fixes the x86_64 __xen_guest section allowing Mini-OS to run again.
Signed-off-by: Aravindh Puthiyaparambil <aravindh.puthiyaparambil@unisys.com>
extras/mini-os/x86_64.S